boolean satisfiability

join shbcf.ru